An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes
نویسندگان
چکیده
منابع مشابه
Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities
In this paper two well known UML profiles, namely SysML and MARTE are closely examined and compared. Both profiles are well suited for the description of embedded systems, although focusing on different aspects and can therefore be considered as complementary. While SysML targets system engineering descriptions in a high level of abstraction and provide diagrams for requirements specification, ...
متن کاملModel Driven Development of Process Control Systems Using Uml Profiles Marte and Sysml
Development of effective software application for real-time and embedded systems requires new advanced methods and techniques. This paper presents a model driven approach for development of process control systems based on the UML profile for system engineering – SysML and MARTE profile for analysis and modeling of real-time systems. The suggested approach is illustrated with a simple example f...
متن کاملA Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems
Activities for the comprehension and development of Cyber-Physical Systems (CPS) include analysis of multiple disciplines including mechanical engineering, electronic engineering, systems engineering and computer science. This work presents a comprehensive and applicable methodology for the initial activities of the development process of CPS. This methodology displays the capacity to describe ...
متن کاملModel-based Methodology for Requirements Traceability in Embedded Systems
We present a model-based methodology for requirements traceability proposed in the framework of the MeMVaTEx project. The methodology relies on the EAST-ADL language and the two UML 2.0 profiles: MARTE for real-time embedded systems, and SysML for system requirements modeling. Along the paper, we illustrate the proposed methodology by an automotive case study, namely a knock controller, focusin...
متن کاملA MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram
Safety verification of real-time embedded systems is a complex and hot issue. This paper proposes a SysML/MARTE activity diagram (SMAD), which is extended from SysML activity diagram (SAD) with non-functional MARTE semantics, for the describing of the real-time embedded systems behaviors. To carry out the safety verification, we transform the SMAD into timed automata. The processes of the model...
متن کامل